jQuery(document).ready(function($) {
    prettyPrint();
});